تعداد ۱۳ پاسخ غیر تکراری از ۱۳ پاسخ تکراری در مدت زمان ۰,۵۸ ثانیه یافت شد.

1. Combinatorics, complexity, and logic: proceedings of DMTCS'96

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical

رده :

QA

164

.

D62

1997

مشاهده در قفسه مجازی RIS Bibtex ISO

2. Combinatorics, complexity, & logic : proceedings of DMTCS '96

پدیدآورنده: D. S. Bridges...]et al.[

کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)

موضوع: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical

رده :

QA

164

.

D62

1997

مشاهده در قفسه مجازی RIS Bibtex ISO

3. Combinatorics, complexity, & logic : proceedings of DMTCS'96

پدیدآورنده: D.S. Bridges...]et al.[

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical

رده :

QA

164

.

D6

1996

مشاهده در قفسه مجازی RIS Bibtex ISO

4. Combinatorics, computability and logic :

پدیدآورنده: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.

RIS Bibtex ISO

5. Combinatorics, computability and logic :

پدیدآورنده: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.

رده :

QA164

.

C733

2001

مشاهده در قفسه مجازی RIS Bibtex ISO

6. Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, )DMTCS '01(

پدیدآورنده: C.S. Calude, M.J. Dinneen, and S. Sburlan )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical

رده :

QA

164

.

D6

2001

مشاهده در قفسه مجازی RIS Bibtex ISO

7. Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings

پدیدآورنده: Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical

رده :

QA

76

.

L28

Vol

.

2731

مشاهده در قفسه مجازی RIS Bibtex ISO

8. Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Logic, Symbolic and mathematical-- Congresses,، Computational complexity-- Congresses

رده :

QA

9

.

A1

.

L625

1995

مشاهده در قفسه مجازی RIS Bibtex ISO

9. Logic and computer science

پدیدآورنده: / Edited by Piergiorgio Odifreddi

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Logic, Symbolic and mathematical -- Congresses,Programming (Mathematics) -- Congresses,Computational complexity -- Congresses

رده :

QA

9

.

L6

1990

مشاهده در قفسه مجازی RIS Bibtex ISO

10. Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988

پدیدآورنده: S. Homer ... ]et al.[; editor, P. Odifreddi

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity

رده :

QA

3

.

L28

Vol

.

1429

مشاهده در قفسه مجازی RIS Bibtex ISO

11. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988

پدیدآورنده: S. Homer...]et al.[; editor, P. Odifreddi

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity

رده :

QA

3

.

L28

no

.

1429

مشاهده در قفسه مجازی RIS Bibtex ISO

12. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses

رده :

QA

3

.

L28

no

.

1429

مشاهده در قفسه مجازی RIS Bibtex ISO

13. Logic and computer science: lectures given at the 1st session of the centro internazioale matematico Estive )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988

پدیدآورنده: S. Homer...]et al.[; editor, P. Odifreddi

کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)

موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity

رده :

QA

9

.

L63

1990

مشاهده در قفسه مجازی RIS Bibtex ISO

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است